Hermenegildo, Manuel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions

Manuel V. Hermenegildo, Francesca Rossi

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 3.83 MB

english, 1995

2

User-Definable Resource Usage Bounds Analysis for Java Bytecode

Jorge Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

3

Lock-free parallel dynamic programming

Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel Hermenegildo, Anthony Wirth

Journal:

Journal of Parallel and Distributed Computing

Year:

2010

Language:

english

File:

PDF, 844 KB

english, 2010

4

A System for Automatically Generating Documentation for (C)LP Programs

Manuel Hermenegildo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.04 MB

2000

5

Description and Optimization of Abstract Machines in a Dialect of Prolog

MORALES, JOSÉ F., CARRO, MANUEL, HERMENEGILDO, MANUEL

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 2.83 MB

english, 2015

6

[Lecture Notes in Computer Science] Analysis and Visualization Tools for Constraint Programming Volume 1870 || Visual Tools to Debug Prolog IV Programs

Deransart, Pierre, Hermenegildo, Manuel V., Małuszynski, Jan

Year:

2000

Language:

english

File:

PDF, 222 KB

english, 2000

7

Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

Bueno, Francisco, García de la Banda, María, Hermenegildo, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 521 KB

english, 1999

8

Monomers That Form Conducting Polymers as Structure-Directing Agents: Synthesis of Microporous Molecular Sieves Encapsulating Poly-para-phenylenevinylene

Pedro Atienzar, María J. Díaz-Cabañas, Manuel Moliner, Encarna Peris, Avelino Corma, Hermenegildo García

Journal:

Chemistry - A European Journal

Year:

2007

Language:

english

File:

PDF, 414 KB

english, 2007

9

Exploiting goal independence in the analysis of logic programs

Michael Codish, Maurice Bruynooghe, Maria García De La Banda, Manuel Hermenegildo

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 880 KB

english, 1997

10

Abstract multiple specialization and its application to program parallelization

German Puebla, Manuel Hermenegildo

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 510 KB

english, 1999

11

The Ciao Module System: A New Module System for Prolog

Daniel Cabeza, Manuel Hermenegildo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.11 MB

2000

12

The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library

Daniel Cabeza, Manuel Hermenegildo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 926 KB

2000

13

High-level characteristics of or- and independent and-parallelism in prolog

Kish Shen, Manuel V. Hermenegildo

Journal:

International Journal of Parallel Programming

Year:

1996

Language:

english

File:

PDF, 2.29 MB

english, 1996

14

Abstraction-Carrying Code: a Model for Mobile Code Safety

Elvira Albert, Germán Puebla, Manuel Hermenegildo

Journal:

New Generation Computing

Year:

2008

Language:

english

File:

PDF, 705 KB

english, 2008

15

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

Pedro Lopez-Garcia, Francisco Bueno, Manuel Hermenegildo

Journal:

New Generation Computing

Year:

2010

Language:

english

File:

PDF, 688 KB

english, 2010

16

An Abstract Interpretation-based Approach to Mobile Code Safety

Elvira Albert, Germán Puebla, Manuel Hermenegildo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

17

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode

Mario Méndez, Jorge Navas, Manuel V. Hermenegildo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 361 KB

english, 2007

18

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 820 KB

english, 2005

19

Non-strict independence-based program parallelization using sharing and freeness information

Daniel Cabeza Gras, Manuel V. Hermenegildo

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 2.39 MB

english, 2009

20

Some Challenges for Constraint Programming

Manuel Hermenegildo

Journal:

Year:

1997

Language:

english

File:

PDF, 111 KB

english, 1997

21

And-Or parallel Prolog: A recomputation based approach

Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa

Journal:

New Generation Computing

Year:

1993

Language:

english

File:

PDF, 1.43 MB

english, 1993

22

Improving the efficiency of nondeterministic independent and-parallel systems

Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo

Journal:

Computer Languages

Year:

1996

Language:

english

File:

PDF, 2.62 MB

english, 1996

23

Relating data-parallelism and (and-) parallelism in logic programs

Manuel V. Hermenegildo, Manuel Carro

Journal:

Computer Languages

Year:

1996

Language:

english

File:

PDF, 1.60 MB

english, 1996

24

Polymorphisms in the selenoprotein S gene: lack of association with autoimmune inflammatory diseases

Alfonso Martínez, Jose Luis Santiago, Jezabel Varadé, Ana Márquez, José Ramón Lamas, Juan Luis Mendoza, Hermenegildo de la Calle, Manuel Díaz-Rubio, Emilio G de la Concha, Benjamín Fernández-Gutiérrez

Journal:

Year:

2008

Language:

english

File:

PDF, 213 KB

english, 2008

25

Massive glycation of protein HC, a low molecular weight lipocalin, in non-diabetic individuals

Pedro Bonay, Juan Solı́s, Hermenegildo de la Calle, Manuel Fresno, Anders Grubb, Enrique Méndez

Journal:

Year:

1997

Language:

english

File:

PDF, 599 KB

english, 1997

26

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 5944 || Model-Checking In-Lined Reference Monitors

Barthe, Gilles, Hermenegildo, Manuel

Year:

2010

Language:

english

File:

PDF, 360 KB

english, 2010

27

A sharing-based approach to supporting adaptation in service compositions

IvanoviÄ, Dragan, Carro, Manuel, Hermenegildo, Manuel V.

Journal:

Year:

2013

Language:

english

File:

PDF, 1.43 MB

english, 2013

28

Biomimetic synthesis of microporous and mesoporous materials at room temperature and neutral pH, with application in electronics, controlled release of chemicals, and catalysis

Corma, Avelino, Moliner, Manuel, Díaz-Cabañas, María J., Serna, Pedro, Femenia, Beatriu, Primo, Jaime, García, Hermenegildo

Journal:

New Journal of Chemistry

Year:

2008

Language:

english

File:

PDF, 854 KB

english, 2008

29

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 844 || Hand-writing program generator generators

Hermenegildo, Manuel, Penjam, Jaan

Year:

1994

Language:

english

File:

PDF, 935 KB

english, 1994

30

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 844 || An implementation technique for a class of bottom-up procedures

Hermenegildo, Manuel, Penjam, Jaan

Year:

1994

Language:

english

File:

PDF, 1.09 MB

english, 1994

31

Solar energy harvesting in photoelectrochemical solar cells

Rodriguez, Isabelle, Ramiro-Manzano, Fernando, Atienzar, Pedro, Martinez, Jose Manuel, Meseguer, Francisco, Garcia, Hermenegildo, Corma, Avelino

Journal:

Journal of Materials Chemistry

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

32

[IEEE 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) - Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations

Ivanovic, Dragan, Carro, Manuel, Hermenegildo, Manuel

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

33

Certificate size reduction in abstraction-carrying code

ALBERT, ELVIRA, ARENAS, PURI, PUEBLA, GERMÁN, HERMENEGILDO, MANUEL

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 469 KB

english, 2012

34

[IEEE 2011 IEEE International Conference on Services Computing (SCC) - Washington, DC, USA (2011.07.4-2011.07.9)] 2011 IEEE International Conference on Services Computing - Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis

Ivanovic, Dragan, Carro, Manuel, Hermenegildo, Manuel

Year:

2011

Language:

english

File:

PDF, 360 KB

english, 2011

35

[Lecture Notes in Computer Science] Static Analysis Volume 2477 ||

Hermenegildo, Manuel V., Puebla, Germán

Year:

2002

Language:

english

File:

PDF, 6.30 MB

english, 2002

36

[Lecture Notes in Computer Science] Static Analysis Volume 2477 || Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation

Hermenegildo, Manuel V., Puebla, Germán

Year:

2002

Language:

english

File:

PDF, 234 KB

english, 2002

37

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - Towards Data-Aware QoS-driven Adaptation for Service Orchestrations

Ivanovic, Dragan, Carro, Manuel, Hermenegildo, Manuel

Year:

2010

Language:

english

File:

PDF, 624 KB

english, 2010

38

[IEEE 2012 Workshop on "European Software Services and Systems Research - Results and Challenges" (S-Cube) - Zurich, Switzerland (2012.06.5-2012.06.5)] 2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube) - Analyzing service-oriented systems using their data and structure

Ivanovic, Dragan, Carro, Manuel, Hermenegildo, Manuel

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

39

[Lecture Notes in Computer Science] Static Analysis Volume 2477 || Pipeline Modeling for Timing Analysis

Hermenegildo, Manuel V., Puebla, Germán

Year:

2002

Language:

english

File:

PDF, 220 KB

english, 2002

40

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || An abstract machine for Oz

Hermenegildo, Manuel, Swierstra, S. Doaitse

Year:

1995

Language:

english

File:

PDF, 950 KB

english, 1995

41

Novel methodology for labelling mesoporous silica nanoparticles using the18F isotope and their in vivo biodistribution by positron emission tomography

Rojas, Santiago, Gispert, Juan Domingo, Menchón, Cristina, Baldoví, Herme G., Buaki-Sogo, Mireia, Rocha, Milagros, Abad, Sergio, Victor, Victor Manuel, García, Hermenegildo, Herance, José Raúl

Journal:

Journal of Nanoparticle Research

Year:

2015

Language:

english

File:

PDF, 1.06 MB

english, 2015

42

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 844 || Viewing a program transformation system at work

Hermenegildo, Manuel, Penjam, Jaan

Year:

1994

Language:

english

File:

PDF, 1.03 MB

english, 1994

43

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3350 || Safe Programming with Pointers Through Stateful Views

Hermenegildo, Manuel V., Cabeza, Daniel

Year:

2005

Language:

english

File:

PDF, 379 KB

english, 2005

44

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 4989 || Integrating Answer Set Reasoning with Constraint Solving Techniques

Garrigue, Jacques, Hermenegildo, Manuel V.

Year:

2008

Language:

english

File:

PDF, 272 KB

english, 2008

45

Perylenetetracarboxylic anhydride as a precursor of fluorescent carbon nanoonion rings

Baldoví, Herme G., Herance, José Raul, Manuel Víctor, Víctor, Alvaro, Mercedes, Garcia, Hermenegildo

Journal:

Year:

2015

Language:

english

File:

PDF, 1.47 MB

english, 2015

46

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Lightweight GUIs for functional programming

Hermenegildo, Manuel, Swierstra, S. Doaitse

Year:

1995

Language:

english

File:

PDF, 821 KB

english, 1995

47

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Abstraction carrying code and resource-awareness

Hermenegildo, Manuel V., Albert, Elvira, López-García, Pedro, Puebla, Germán

Year:

2005

Language:

english

File:

PDF, 181 KB

english, 2005

48

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Comparing tag scheme variations using an abstract machine generator

Morales, José F., Carro, Manuel, Hermenegildo, Manuel

Year:

2008

Language:

english

File:

PDF, 248 KB

english, 2008

49

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Assertion-based Debugging of Higher-Order (C)LP Programs

Stulova, Nataliia, Morales, José F., Hermenegildo, Manuel V.

Year:

2014

Language:

english

File:

PDF, 622 KB

english, 2014

50

[ACM Press the 2007 international workshop - London, Ontario, Canada (2007.07.27-2007.07.28)] Proceedings of the 2007 international workshop on Parallel symbolic computation - PASCO '07 - Towards a high-level implementation of flexible parallelism primitives for symbolic languages

Casas, Amadeo, Carro, Manuel, Hermenegildo, Manuel

Year:

2007

Language:

english

File:

PDF, 229 KB

english, 2007